Model Optimisasi untuk Penjadwalan Ulang Perjalanan Kereta Api

نویسندگان
چکیده

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

The Irmis Object Model and Services Api*

The relational model developed for the Integrated Relational Model of Installed Systems (IRMIS) toolkit has been successfully used to capture the Advanced Photon Source (APS) control system software (EPICS process variables and their definitions). The relational tables are populated by a crawler script that parses each Input/Output Controller (IOC) start-up file when an IOC reboot is detected. ...

متن کامل

A Meta-Model for the Isabelle API

We represent a theory of (a fragment of) Isabelle/HOL in Isabelle/HOL. The purpose of this exercise is to write packages for domain-specific specifications such as class models, B-machines, . . . , and generally any languages that can be described with a sequence of “datatype” in HOL itself; the Isabelle code-generator can then be used to generate tactic code. Consequently the package is geared...

متن کامل

Model-Based API Testing for SMT Solvers∗

Verification back ends such as SMT solvers are typically highly complex pieces of software with performance, correctness and robustness as key requirements. Full verification of SMT solvers, however, is difficult due to their complex nature and still an open question. Grammar-based black-box input fuzzing proved to be effective to uncover bugs in SMT solvers but is entirely input-based and rest...

متن کامل

Development of a Simulated Environment for Human- Robot Interaction

Skenario interaksi manusia-robot adalah sangat rumit dan memerlukan definisi yang tepat dari variabel lingkungan untuk pengujian yang ketat aspek-aspek berbeda perilaku robot. Kondisi lingkungan mempengaruhi perilaku manusia dan robot, sehingga manusia dan robot merespon berbeda pada kondisi akustik atau pencahayaan berbeda. Pada penelitian ini dilakukan eksperimen berulang-ulang dengan manusia...

متن کامل

Watermarking pada Video: Robustness, Impercetibility dan Pendekatan untuk Domain Terkompresi

ABSTRAK Meningkatnya penggunaan dokumen digital khususnya multimedia (citra, audio, video) dan kemudahan transmisi data melalui Internet meningkatkan kebutuhan terhadap keamanan data terhadap pelanggaran hak cipta. Watermarking merupakan pendekatan yang telah banyak digunakan dan merupakan bagian dari Digital Right Management (DRM) yang dibuat untuk memenuhi kebutuhan tersebut. Khusus untuk vid...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

ژورنال

عنوان ژورنال: Jurnal Teknik Industri

سال: 2015

ISSN: 2087-7439,1411-2485

DOI: 10.9744/jti.17.2.97-104